Sequential algorithm

Results: 93



#Item
71Electrical engineering / And-inverter graph / Diagrams / Electronic design automation / Search algorithms / Retiming / Field-programmable gate array / Directed acyclic graph / A* search algorithm / Electronic engineering / Formal methods / Graph theory

Combinational and Sequential Mapping with Priority Cuts Alan Mishchenko Sungmin Cho Satrajit Chatterjee

Add to Reading List

Source URL: www.bvsrc.org

Language: English - Date: 2007-08-14 15:34:24
72Computer science / Applied mathematics / Transaction processing / Models of computation / Formal methods / Parallel computing / Consistency model / Algorithm / Sequential consistency / Computing / Theoretical computer science / Computability theory

The weakest reasonable memory model by Matteo Frigo Laurea, Universit`a di Padova[removed]Dottorato di Ricerca, Universit`a di Padova (1996)

Add to Reading List

Source URL: supertech.csail.mit.edu

Language: English - Date: 2014-09-16 08:27:49
73Linear programming / Operations research / Statistical classification / Support vector machine / Sequential minimal optimization / Subgradient method / Duality / Stochastic gradient descent / Frank–Wolfe algorithm / Mathematical optimization / Convex optimization / Numerical analysis

Block-Coordinate Frank-Wolfe Optimization for Structural SVMs Simon Lacoste-Julien∗ Martin Jaggi ∗

Add to Reading List

Source URL: jmlr.csail.mit.edu

Language: English - Date: 2013-08-14 01:36:43
74Stack / Algorithm / Subroutine / Statistical machine translation / Sequential decoding / BLEU / Association rule learning / Computing / Computer programming / Software engineering

Generalized Stack Decoding Algorithms for Statistical Machine Translation∗ Francisco Casacuberta Nolla Ismael Garc´ıa Varea Daniel Ortiz Mart´ınez Dpto. de Sist Inf. y Comp. Dpto. de Informatica

Add to Reading List

Source URL: www.statmt.org

Language: English - Date: 2006-05-05 19:20:37
75Parallel computing / Cycle detection / SPMD / Compiler optimization / Algorithm / Shortest path problem / Floyd–Warshall algorithm / Graph / Connected component / Mathematics / Graph theory / Theoretical computer science

Polynomial-time Algorithms for Enforcing Sequential Consistency in SPMD Programs with Arrays Wei-Yu Chen1 , Arvind Krishnamurthy2 , and Katherine Yelick1 1 Computer Science Division, University of California, Berkeley

Add to Reading List

Source URL: upc.lbl.gov

Language: English - Date: 2010-05-06 00:14:41
76Theoretical computer science / Speedup / Algorithm / Actor model / Computing / Parallel computing / Concurrent computing

When to Update the Sequential Patterns of Stream Data? Qingguo Zheng Ke Xu Shilong Ma National Lab of Software Development Environment Department of Computer Science and Engineering

Add to Reading List

Source URL: www.nlsde.buaa.edu.cn

Language: English - Date: 2005-04-26 04:16:24
77Concurrent computing / Computer architecture / Cache coherence / Transactional memory / Linearizability / Consistency model / Algorithm / Software bug / Sequential consistency / Computing / Transaction processing / Concurrency control

TESTING MEMORY CONSISTENCY OF SHARED-MEMORY MULTIPROCESSORS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF ELECTRICAL ENGINEERING

Add to Reading List

Source URL: xenon.stanford.edu

Language: English - Date: 2008-02-26 14:40:30
78Parallel computing / Models of computation / Parallel Random Access Machine / Algorithm / MIMD / Computational complexity theory / Fast Fourier transform / Scalability / NC / Computing / Concurrent computing / Theoretical computer science

The success of the von Neumann model of sequential computation is attributable to the fact that it is an efficient bridge between software and hardware: high-level languages can be efficiently

Add to Reading List

Source URL: web.mit.edu

Language: English - Date: 2006-02-28 14:59:14
79Applied mathematics / Quadratic programming / SNOPT / Linear programming / AMPL / Simplex algorithm / Constraint optimization / Sequential quadratic programming / Nonlinear system / Mathematical optimization / Operations research / Numerical analysis

SNOPT Philip E. Gill; Department of Mathematics, University of California, San Diego, La Jolla, CA Walter Murray, Michael A. Saunders; Department of EESOR, Stanford University, Stanford, CA Arne Drud; ARKI Consulting and

Add to Reading List

Source URL: www.gams.com

Language: English - Date: 2014-09-02 04:00:18
80Pacific decadal oscillation / Physical oceanography / Meteorology / Regime shift / Algorithm / Climate / Diff / Atmospheric sciences / Computing / Climatology

GEOPHYSICAL RESEARCH LETTERS, VOL. 31, L09204, doi:[removed]2004GL019448, 2004 A sequential algorithm for testing climate regime shifts Sergei N. Rodionov Joint Institute for the Study of the Atmosphere and Ocean, Univer

Add to Reading List

Source URL: www.beringclimate.noaa.gov

Language: English - Date: 2006-04-14 01:26:53
UPDATE